28 ideas
15557 | Verisimilitude has proved hard to analyse, and seems to have several components [Lewis] |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
15554 | A disposition needs a causal basis, a property in a certain causal role. Could the disposition be the property? [Lewis] |
15560 | We can explain a chance event, but can never show why some other outcome did not occur [Lewis] |
15559 | Does a good explanation produce understanding? That claim is just empty [Lewis] |
15556 | Science may well pursue generalised explanation, rather than laws [Lewis] |
15558 | A good explanation is supposed to show that the event had to happen [Lewis] |
4809 | Lewis endorses the thesis that all explanation of singular events is causal explanation [Lewis, by Psillos] |
14321 | To explain an event is to provide some information about its causal history [Lewis] |
15555 | Explaining match lighting in general is like explaining one lighting of a match [Lewis] |
15552 | We only pick 'the' cause for the purposes of some particular enquiry. [Lewis] |
15551 | Ways of carving causes may be natural, but never 'right' [Lewis] |
15553 | Causal dependence is counterfactual dependence between events [Lewis] |